\input texinfo.tex
